Synthesis of Covert Actuator Attackers for Free

In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modelled by discrete-event systems. We assume the actuator attacker partially observes the execution of the closed-loop system and is able to modify each control command issued by the supervisor on a specified attackable subset of controllable events. We provide straightforward but in general exponential-time reductions, due to the use of subset construction procedure, from the covert actuator attacker synthesis problems to the Ramadge-Wonham supervisor synthesis problems. It then follows that it is possible to use the many techniques and tools already developed for solving the supervisor synthesis problem to solve the covert actuator attacker synthesis problem for free. In particular, we show that, if the attacker cannot attack unobservable events to the supervisor, then the reductions can be carried out in polynomial time. We also provide a brief discussion on some other conditions under which the exponential blowup in state size can be avoided. Finally, we show how the reduction based synthesis procedure can be extended for the synthesis of successful covert actuator attackers that also eavesdrop the control commands issued by the supervisor.Comment: The paper has been accepted for the journal Discrete Event Dynamic System

Boundary Hamiltonian theory for gapped topological phases on an open surface

In this paper we propose a Hamiltonian approach to gapped topological phases on an open surface with boundary. Our setting is an extension of the Levin-Wen model to a 2d graph on the open surface, whose boundary is part of the graph. We systematically construct a series of boundary Hamiltonians such that each of them, when combined with the usual Levin-Wen bulk Hamiltonian, gives rise to a gapped energy spectrum which is topologically protected; and the corresponding wave functions are robust under changes of the underlying graph that maintain the spatial topology of the system. We derive explicit ground-state wavefunctions of the system and show that the boundary types are classified by Morita-equivalent Frobenius algebras. We also construct boundary quasiparticle creation, measuring and hopping operators. These operators allow us to characterize the boundary quasiparticles by bimodules of Frobenius algebras. Our approach also offers a concrete set of tools for computations. We illustrate our approach by a few examples.Comment: 21 pages;references correcte

CO preferential oxidation in a novel Au@ZrO₂ flow-through catalytic membrane reactor with high stability and efficiency

CO preferential oxidation (CO-PROX) achieves much interest as a strategy to remove trace CO in reformed gases for hydrogen utilization. Herein, we reported a novel Au@ZrO₂ catalytic membrane reactor by embedding gold nano-particles in ZrO₂ hollow fiber membrane for CO-PROX. The flow-through catalytic membrane exhibited high catalytic activity and oxygen selectivity, which gave a turnover frequency of 4.73 s⁻¹ at 60 °C, 2–3 times higher than conventional catalyst pellets. CO conversion of >95% was achieved over the catalytic membrane, which maintained great operational stability during 500-h operation even CO₂ and H₂O were added in the feed stream. The excellent catalytic performance of the flow-through catalytic membrane makes gold catalyst possible for practical application in the removal of CO from hydrogen

Optimal Redshift Weighting For Redshift Space Distortions

The low statistical errors on cosmological parameters promised by future galaxy surveys will only be realised with the development of new, fast, analysis methods that reduce potential systematic problems to low levels. We present an efficient method for measuring the evolution of the growth of structure using Redshift Space Distortions (RSD), that removes the need to make measurements in redshift shells. We provide sets of galaxy-weights that cover a wide range in redshift, but are optimised to provide differential information about cosmological evolution. These are derived to optimally measure the coefficients of a parameterisation of the redshift-dependent matter density, which provides a framework to measure deviations from the concordance $\Lambda$CDM cosmology, allowing for deviations in both geometric and/or growth. We test the robustness of the weights by comparing with alternative schemes and investigate the impact of galaxy bias. We extend the results to measure the combined anisotropic Baryon Acoustic Oscillation (BAO) and RSD signals.Comment: 10 pages, 5 figures, submitted to MNRA

Spatial Non-Locality Induced Non-Markovian EIT in a Single Giant Atom

In recent experiments, electromagnetically induced transparency (EIT) were observed with giant atoms, but nothing unconventional were found from the transmission spectra. In this letter, we show that unconventional EIT does exist in giant atoms, and indicate why it has not been observed so far. Different from these existing works, this letter presents a consistent theory including a real space method and a time delayed master equation for observing unconventional EIT. We discover that this phenomenon is a quantum effect which cannot be correctly described in a semi-classical way as those in recent works. Our theory shows that it can be observed when the time delay between two neighboring coupling points is comparable to the relaxation time of the atom, which is crucial for a future experimental observation. This new phenomenon results from inherent non-locality of the giant atom, which physically forces propagating fields to be standing waves in space and the atom exhibiting retardations in time. Our theory establishes a framework for application of nonlocal systems to quantum information processing.Comment: 6 pages, 3 figures, Comments are welcom